Estelle

   A Pascal extension for formal specification of computer
   network protocols.  Protocols are described by modules
   which are communicating NFAs.  Modules are arranged in a
   dynamic hierarchy and communicate at named interaction points.

   EstPC (ftp:osi.ncsl.nist.gov/pub/osikit/estpc) Compiles
   Estelle into C.  petdingo Translates Estelle into C++

   Adopted by ITU-T.  ISO 9074 (1989).

   ["The Formal Description Technique Estelle", M.  Diaz et al
   eds, N-H 1989].

Estelle, LA -- U.S. Census Designated Place in Louisiana
   Population (2000):    15880
   Housing Units (2000): 5124
   Land area (2000):     5.054812 sq. miles (13.091902 sq. km)
   Water area (2000):    0.000000 sq. miles (0.000000 sq. km)
   Total area (2000):    5.054812 sq. miles (13.091902 sq. km)
   FIPS code:            24390
   Located within:       Louisiana (LA), FIPS 22
   Location:             29.847527 N, 90.108117 W
   ZIP Codes (1990):    
   Note: some ZIP codes may be omitted esp. for suburbs.
   Headwords:
    Estelle, LA
    Estelle